Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
891	Tobias Nipkow Programming and Proving in Isabelle/HOL le l Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Formal methods Type theory Functional languages Isabelle Lambda calculus HOL Id System F Theoretical computer science Applied mathematics Programming language theory
892	Dendrogram-‐based Algorithm for Dominated Graph Flooding Claude Tadonki Joint work with Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:00:42 Typedef Struct Computer programming Programming language theory Software engineering C programming language Degree Graph theory
893	Preliminary programme of the 2005 workshop Add to Reading List Source URL: recan.webplus.net Language: English - Date: 2011-10-20 14:10:54 Programming language theory International relations International Atomic Energy Agency Nuclear proliferation Pascal
894	ENGR 101/HUM 200: Technology and Society Scope and Limitations assignment 10 points towards “Make It Better” assignment Due: October 28, 2005 Group assignment (turn in one per group) Add to Reading List Source URL: courses.washington.edu Language: English - Date: 2005-10-24 20:44:04 Software engineering Design Programming language theory Computing Team C
895	< Phing User Guide Andreas Aderhold <> Alex Black <> Manuel Holtgrewe <> Add to Reading List Source URL: www.phing.info Language: English - Date: 2015-02-09 15:12:50 Programming language theory Technical communication YAML Stack D ALGOL 68 ICI Computing Software engineering Markup languages
896	OFFICE OF NAVIGATION, HYDROGRAPHY AND OCEANOGRAPHY WEEKLY NOTICES TO MARINERS Add to Reading List Source URL: www.shodb.gov.tr Language: English - Date: 2015-01-20 08:20:14 Programming language theory Notice to mariners ALGOL 68 Software engineering Nautical publications Hydrography Navigation Water
897	Moving Scala ASTs one step closer to C c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia September 26th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-18 08:01:22 Functional languages Procedural programming languages Type theory Data types Subroutines Stack ATS ALGOL 68 Scala Computing Software engineering Programming language theory
898	m RROR LOW LEVEL GRAPHICS INTRINSICS Add to Reading List Source URL: www.threedee.com Language: English - Date: 2010-11-20 17:18:53 Procedural programming languages Pascal Pointer ALGOL 68 Framebuffer Scheme C Programming language theory Computing Software engineering
899	CS109A ML Notes for the Week ofUsing ML ML can be used as an interactive language. We shall use a version running under UNIX, called SML/NJ or \Standard ML of New Jersey." Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:14 Procedural programming languages Functional languages Data types Type theory Standard ML C++ C++ classes Type system ?: Software engineering Programming language theory Computing
900	;; logic #t #f (and _expr.._) ;short circuit (or _expr.._) ;short circuit (not _expr_) Add to Reading List Source URL: ra3s.com Language: English Scheme Procedural programming languages Data types Cross-platform software String C Hygienic macro Main function Software engineering Computing Programming language theory

UPDATE